2(y+1)^(10-2) - sum((-y*cos(2 pi k/10) + 10 - 2)*(y+cos(2 pi k/10))^(10-3) *heaviside(y+cos(2 pi k/10)),k from 1 to 10/2-1)